-
1 propositional calculus
English-german engineering dictionary > propositional calculus
-
2 propositional calculus
исчисление высказываний
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > propositional calculus
-
3 propositional calculus
пропозициональное исчисление; исчисление высказываний -
4 propositional calculus
The English-Russian dictionary general scientific > propositional calculus
-
5 propositional calculus
propositie-calculuspropositionele calculus -
6 propositional calculus
Большой англо-русский и русско-английский словарь > propositional calculus
-
7 propositional calculus
Англо-русский словарь технических терминов > propositional calculus
-
8 propositional calculus
<math.> исчисление высказываний -
9 propositional calculus
1) Техника: исчисление высказываний2) Математика: исчисления высказываний3) Логика: пропозициональное исчислениеУниверсальный англо-русский словарь > propositional calculus
-
10 propositional calculus
< math> ■ Aussagenkalkül mEnglish-german technical dictionary > propositional calculus
-
11 propositional calculus
English-russian biological dictionary > propositional calculus
-
12 propositional calculus
x. 명제 계산 -
13 propositional calculus
English-Russian electronics dictionary > propositional calculus
-
14 propositional calculus
حساب گزارهاي -
15 propositional calculus
The New English-Russian Dictionary of Radio-electronics > propositional calculus
-
16 propositional calculus
лог. пропозициональное исчисление, исчисление высказыванийEnglish-Russian dictionary of computer science and programming > propositional calculus
-
17 propositional calculus
• propozicioni račun -
18 propositional calculus
automatic data processing• lauselogiikka -
19 propositional calculus
rachunek zdańEnglish-Polish dictionary for engineers > propositional calculus
-
20 propositional\ calculus
См. также в других словарях:
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
propositional calculus — Logic. See sentential calculus. [1900 05] * * * Formal system of propositions and their logical relationships. As opposed to the predicate calculus, the propositional calculus employs simple, unanalyzed propositions rather than predicates as its… … Universalium
propositional calculus — The logical calculus whose expressions are letters representing sentences or propositions, and constants representing operations on those propositions, to produce others of higher complexity. The operations include conjunction, disjunction,… … Philosophy dictionary
propositional calculus — noun Date: 1903 the branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only called also sentential calculus compare predicate calculus … New Collegiate Dictionary
propositional calculus — noun propositional logic … Wiktionary
propositional calculus — noun a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them • Syn: ↑propositional logic • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal logic … Useful english dictionary
propositional calculus — proposi′tional cal′culus n. math. pho sentential calculus • Etymology: 1900–05 … From formal English to slang
propositional calculus — /prɒpəˌzɪʃənəl ˈkælkjələs/ (say propuh.zishuhnuhl kalkyuhluhs) noun that part of modern logic which systematises the relations between unanalysed propositions …
Implicational propositional calculus — In mathematical logic, the implicational propositional calculus is a version of classical (two valued) propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by… … Wikipedia
Frege's propositional calculus — In mathematical logic Frege s propositional calculus was the first axiomatization of propositional calculus. It was invented by Gottlob Frege, who also invented predicate calculus, in 1879 as part of his second order predicate calculus (although… … Wikipedia
implicational propositional calculus — noun A minimalist version of propositional calculus which uses only the logical connectives ( implies ) and ( false ) … Wiktionary